|
The quantum algorithm for linear systems of equations, designed by Aram Harrow, Avinatan Hassidim, and Seth Lloyd, is a quantum algorithm for solving linear systems formulated in 2009. The algorithm estimates the result of a scalar measurement on the solution vector to a given linear system of equations.〔(Quantum algorithm for solving linear systems of equations, by Harrow et al. ).〕 The algorithm is one of the main fundamental algorithms expected to provide an exponential speedup over their classical counterparts, along with Shor's factoring algorithm, Grover's search algorithm and quantum simulation. Provided the linear system is a sparse and has a low condition number , and that the user is interested in the result of a scalar measurement on the solution vector, instead of the values of the solution vector itself, then the algorithm has a runtime of , where is the number of variables in the linear system.. This offers an exponential speedup over the fastest classical algorithm, which runs in (or for positive semidefinite matrices). An implementation of the quantum algorithm for linear systems of equations was first demonstrated in 2013 by Cai et al., Barz et al.and Pan et al. in parallel. The demonstrations consisted of simple linear equations on specially designed quantum devices.〔(Experimental quantum computing to solve systems of linear equations by Cai et al. ).〕 〔(Experimental realization of quantum algorithm for solving linear systems of equations, by Pan et al. ).〕 Due to the prevalence of linear systems in virtually all areas of science and engineering, the quantum algorithm for linear systems of equations has the potential for widespread applicability.〔(Quantum Computer Runs The Most Practically Useful Quantum Algorithm, by Lu and Pan ).〕 == Procedure == The problem we are trying to solve is: given a Hermitian matrix and a unit vector , find the solution vector satisfying . This algorithm assumes that the user is not interested in the values of itself, but rather the result of applying some operator onto x, . First, the algorithm represents the vector as a quantum state of the form: : Next, Hamiltonian simulation techniques are used to apply the unitary operator to for a superposition of different times . The ability to decompose into the eigenbasis of and to find the corresponding eigenvalues is facilitated by the use of quantum phase estimation. The state of the system after this decomposition is approximately: : where is the eigenvector basis of , and . We would then like to perform the linear map taking to , where is a normalizing constant. The linear mapping operation is not unitary and thus will require a number of repetitions as it has some probability of failing. After it succeeds, we uncompute the register and are left with a state proportional to: : Where is a quantum-mechanical representation of the desired solution vector ''x''. To read out all components of ''x'' would require the procedure be repeated at least ''N'' times. However, it is often the case that one is not interested in itself, but rather some expectation value of a linear operator ''M'' acting on ''x''. By mapping ''M'' to a quantum-mechanical operator and performing the quantum measurement corresponding to ''M'', we obtain an estimate of the expectation value . This allows for a wide variety of features of the vector ''x'' to be extracted including normalization, weights in different parts of the state space, and moments without actually computing all the values of the solution vector ''x''. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Quantum algorithm for linear systems of equations」の詳細全文を読む スポンサード リンク
|